Free shipping on all orders! No minimum purchase required.
Static Analysis
by Moreno Falaschi (Editor), Gilberto File (Editor), Antoine Rauzy (Editor)
Logic-Based Program Synthesis and Transformation
by Moreno Falaschi (Editor)
